#
# Automatically generated file. Don't edit
#
_CONFIG_MK_=1
ARCH=arm
PLATFORM=spmp
PROFILE=spmp
_GNUC_=1
CC=arm-elf-gcc
CPP=arm-elf-cpp
AS=arm-elf-as
LD=arm-elf-ld
AR=arm-elf-ar
OBJCOPY=arm-elf-objcopy
OBJDUMP=arm-elf-objdump
STRIP=arm-elf-strip
GCCFLAGS+= -fno-stack-protector
GCCFLAGS+= -march=armv5te
ASFLAGS+= -march=armv5te
CONFIG_LOADER_TEXT=0x24010000
CONFIG_KERNEL_TEXT=0x24100000
CONFIG_SYSPAGE_BASE=0x24000000
CONFIG_BOOTIMG_BASE=0x24012000
CONFIG_HZ=1000
CONFIG_TIME_SLICE=5
CONFIG_OPEN_MAX=16
CONFIG_BUF_CACHE=32
CONFIG_FS_THREADS=4
CONFIG_CACHE=y
CONFIG_BOOTDISK=y
CONFIG_POSIX=y
CONFIG_CMDBOX=y
CONFIG_TINY=y
CONFIG_DIAG_SERIAL=y
CONFIG_DEVFS=y
CONFIG_RAMFS=y
CONFIG_ARFS=y
CONFIG_PM=y
CONFIG_CONS=y
CONFIG_SERIAL=y
CONFIG_SPMPUART=y
CONFIG_NULL=y
CONFIG_ZERO=y
CONFIG_RAMDISK=y
CONFIG_ARM_VECTORS=0x00000000
CONFIG_PL011_BASE=0xd6000000
CONFIG_PL011_IRQ=1
CONFIG_PL030_BASE=0xd5000000
CONFIG_CMD_CAT=y
CONFIG_CMD_CLEAR=y
CONFIG_CMD_CP=y
CONFIG_CMD_DATE=y
CONFIG_CMD_DMESG=y
CONFIG_CMD_ECHO=y
CONFIG_CMD_FREE=y
CONFIG_CMD_HEAD=y
CONFIG_CMD_HOSTNAME=y
CONFIG_CMD_KILL=y
CONFIG_CMD_LS=y
CONFIG_CMD_MKDIR=y
CONFIG_CMD_MORE=y
CONFIG_CMD_MV=y
CONFIG_CMD_NICE=y
CONFIG_CMD_PRINTENV=y
CONFIG_CMD_PS=y
CONFIG_CMD_PWD=y
CONFIG_CMD_RM=y
CONFIG_CMD_RMDIR=y
CONFIG_CMD_SH=y
CONFIG_CMD_SLEEP=y
CONFIG_CMD_SYNC=y
CONFIG_CMD_TOUCH=y
CONFIG_CMD_UNAME=y
CONFIG_CMD_DISKUTIL=y
CONFIG_CMD_INSTALL=y
CONFIG_CMD_PMCTRL=y
CONFIG_CMD_KTRACE=y
CONFIG_CMD_LOCK=y
CONFIG_CMD_DEBUG=y
